On Finite Domains in First-Order Linear Temporal Logic Denis Kuperberg, Julien Brunel, David Chemouil To cite this version: Denis Kuperberg, Julien Brunel, David Chemouil. On Finite Domains in First-Order Linear Temporal

Source URL: hal.archives-ouvertes.fr

Jan Mendling and Stefanie Rinderle-Ma, eds.: Proceedings of EMISA 2016, Gesellschaft f¨ur Informatik, Bonn 2016 Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic (Extended Abstract

Source URL: eprints.cs.univie.ac.at

page.1 Categorical Semantics for an Intuitionistic Temporal Logic Wolfgang Jeltsch TTÜ Küberneetika Instituut

Source URL: www.ioc.ee

Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic Christoph Czepa1 , Huy Tran1 , Uwe Zdun1 , Thanh Tran Thi Kim2 , Erhard Weiss2 , and Christoph Ruhsam2 1

Source URL: eprints.cs.univie.ac.at

Temporal Modalities for Concisely Capturing Timing Diagrams Hana Chockler1,2 and Kathi Fisler1 1 Department of Computer Science, WPI,

Source URL: web.cs.wpi.edu

• Temporal logic
• Linear temporal logic
• Diagram
• Symbol
• FO

Wavelets and Image Compression Bradley J. Lucier Abstract. In this paper we present certain results about the compression of images using wavelets. We concentrate on the simplest case of the Haar decomposition and compr

Source URL: www.math.purdue.edu

• Mathematical analysis
• Mathematics
• Functional analysis
• Signal processing
• Operator theory
• Image compression
• Wavelet transform
• Wavelet
• Distribution
• Constructible universe
• Craig interpolation
• Linear temporal logic

Duality formulas for robust pricing and hedging in discrete time∗ Patrick Cheridito† Michael Kupper

Source URL: www.mat.univie.ac.at

• Mathematical analysis
• Distribution
• Functional analysis
• Linear temporal logic

CANONICAL SUBGROUPS VIA BREUIL-KISIN MODULES FOR p = 2 SHIN HATTORI Abstract. Let p be a rational prime and K/Qp be an extension of complete discrete valuation fields. Let G be a truncated Barsotti-Tate group of level n,

Source URL: www2.math.kyushu-u.ac.jp

• Algebra
• Abstract algebra
• Group theory
• Algebraic number theory
• Galois theory
• Frobenius group
• Galois module
• Order
• Free group
• Linear temporal logic

Duality for increasing convex functionals with countably many marginal constraints D. Bartl∗ P. Cheridito†

Source URL: www.mat.univie.ac.at

• Mathematical analysis
• Analysis
• Measure theory
• Generalized functions
• Smooth functions
• Transportation theory
• Distribution
• Linear temporal logic

Evaluating Interval-Valued Influence DiagramsI Rafael Caba˜nasa,∗, Alessandro Antonuccib , Andr´es Canoa , Manuel G´omez-Olmedoa a Department of Computer Science and Artificial Intelligence CITIC, University of Gran

Source URL: ipg.idsia.ch

• Mathematics
• Logic
• Model theory
• Abstraction
• Limit
• Interpretation
• IP
• Bayesian network
• Static single assignment form
• Symbol
• Expected value
• Linear temporal logic